Russian language

Results: 860



#Item
61Inductive Prover Based on Equality Saturation for a Lazy Functional Language⋆ (Extended Version) Sergei A. Grechanik Keldysh Institute of Applied Mathematics Russian Academy of Sciences

Inductive Prover Based on Equality Saturation for a Lazy Functional Language⋆ (Extended Version) Sergei A. Grechanik Keldysh Institute of Applied Mathematics Russian Academy of Sciences

Add to Reading List

Source URL: meta2014.pereslavl.ru

Language: English - Date: 2014-06-15 20:00:00
    62НОМЕР 6 — ИЮНЬ 2004 Г. СЕМАФОР SUMMARY This is the sixth issue of The Semaphore, a Russian-language

    НОМЕР 6 — ИЮНЬ 2004 Г. СЕМАФОР SUMMARY This is the sixth issue of The Semaphore, a Russian-language

    Add to Reading List

    Source URL: parovoz.com

    Language: English - Date: 2013-08-14 17:18:41
      63The status, role and future of Russian language training and Slavonic studies in the Scottish education system Scotland-Russia Institute, 9 South College Street, Edinburgh, 1pm-5pm, Monday 28th May, 2012 Final Report

      The status, role and future of Russian language training and Slavonic studies in the Scottish education system Scotland-Russia Institute, 9 South College Street, Edinburgh, 1pm-5pm, Monday 28th May, 2012 Final Report

      Add to Reading List

      Source URL: www.scotlandrussiaforum.org

      Language: English - Date: 2016-03-04 13:30:14
        64Teachers’ Training in the Kyrgyz Republic We are looking for volunteer teachers to help train teachers of the English language in the Kyrgyz Republic. They need to be able to have some proficiency in Russian; a TESOL/T

        Teachers’ Training in the Kyrgyz Republic We are looking for volunteer teachers to help train teachers of the English language in the Kyrgyz Republic. They need to be able to have some proficiency in Russian; a TESOL/T

        Add to Reading List

        Source URL: www.scotlandrussiaforum.org

        Language: English - Date: 2016-03-03 11:08:47
          65(J) Georgian Transitive VerbsGeorgian (Kartuli) is the official language of the country Georgia that is unrelated to neighboring Russian and Turkish. Below are twelve Georgian sentences with their English translat

          (J) Georgian Transitive VerbsGeorgian (Kartuli) is the official language of the country Georgia that is unrelated to neighboring Russian and Turkish. Below are twelve Georgian sentences with their English translat

          Add to Reading List

          Source URL: nacloweb.org

          Language: English - Date: 2015-04-02 10:40:45
            66UNIVERSITY OF CALIFORNIA, RIVERSIDE Student Learning Outcomes for the B.A. in Russian Studies Students completing the B.A. major will be able to: 1. read the target language, understand it aurally, use it effectively in

            UNIVERSITY OF CALIFORNIA, RIVERSIDE Student Learning Outcomes for the B.A. in Russian Studies Students completing the B.A. major will be able to: 1. read the target language, understand it aurally, use it effectively in

            Add to Reading List

            Source URL: ueeval.ucr.edu

            - Date: 2013-07-31 13:55:27
              67International Workshop: Central Asian Documents Preserved in the Institute of Oriental Manuscripts, Russian Academy of Sciences Tentative program March 24th-25th, 2015 (Tue.-Wed.) Research Institute for Languages and Cul

              International Workshop: Central Asian Documents Preserved in the Institute of Oriental Manuscripts, Russian Academy of Sciences Tentative program March 24th-25th, 2015 (Tue.-Wed.) Research Institute for Languages and Cul

              Add to Reading List

              Source URL: www.aa.tufs.ac.jp

              Language: English - Date: 2015-03-20 02:27:41
              68НАСЕЛЕНИЕ NASSELENIE REVIEW Списание на ИИНЧ – БАН

              НАСЕЛЕНИЕ NASSELENIE REVIEW Списание на ИИНЧ – БАН

              Add to Reading List

              Source URL: www.iphs.eu

              Language: English - Date: 2012-11-13 06:32:58
              69USING INFORMATION THEORY TO STUDY THE EFFICIENCY AND CAPACITY OF COMPUTERS AND SIMILAR DEVICES Boris Ryabko Institute of Computational Technology of Siberian Branch of Russian Academy of Science Siberian State University

              USING INFORMATION THEORY TO STUDY THE EFFICIENCY AND CAPACITY OF COMPUTERS AND SIMILAR DEVICES Boris Ryabko Institute of Computational Technology of Siberian Branch of Russian Academy of Science Siberian State University

              Add to Reading List

              Source URL: sp.cs.tut.fi

              Language: English - Date: 2010-08-12 11:09:05
              70- Лю Оё 6 (58) ЛюМё December 2008

              - Лю Оё 6 (58) ЛюМё December 2008

              Add to Reading List

              Source URL: eco-tiras.org

              Language: English - Date: 2012-05-13 16:39:32